Философский энциклопедический словарь - интуиционизм
Связанные словари
Интуиционизм
интуиционизм
— направление в изучении философских оснований математики (наряду с логицизмом, формализмом и эффективизмом), возникшее в начале 20 в. в связи с полемикой вокруг ее теоретических основ (Л. Врауэр, Г. Вейль, А. Гейтинг и др.). Согласно И., точная математическая мысль основывается на рациональной интуиции. к-рая включает процесс умственного построения всех математических объектов, отчетливое различение и отождествление строящихся объектов. Согласно И., посредством такой интуиции создается вся математика, поэтому математические объекты не существуют независимо от их умственных построений. Вместе с тем последние требуют иной, отличной от аристотелевской формы логики — т. наз. интуиционистской логики, не признающей исключенного третьего закон. Чтобы избежать парадоксов, математическое доказательство должно основываться не на логической строгости, а на интуитивной очевидности: оно достоверно при условии интуитивного понимания каждой его ступени, начиная с исходных посылок и правил рассуждения. Т. обр., о применимости в доказательствах тех или иных логических законов и правил, в конечном счете, тоже должна судить интуиция. Однако И. (в отличие от интуитивизма) не противопоставляет интуицию логике. Он только считает, что математика не может основываться на логике, и развивает свое понимание логики как части математики, рассматривая логические теоремы как математические теоремы наивысшей общности.
Рейтинг статьи:
См. в других словарях
1.
(лат.) учение об интуиции как самом главном и самом надежном источнике познания. ...Философский энциклопедический словарь
2.
направление в основаниях математики и логики, признающее главным и единственным критерием правомерности методов и результатов этих наук их интуитивную наглядносодержат. убедительность («интуицию»). И. отвергает использование в математике и логике идеи актуальной бесконечности (см. Абстракция актуальной бесконечности) и взгляд на логику как на науку, «предшествующую» математике. Гл. объектом интуиционистской критики стал широко используемый в классич. математике исключённого третьего принцип. Идеи И.., высказывавшиеся ещё нем. математиком Л. Кронекером и А. Пуанкаре, в явном виде были сформулированы в нач. 20 в. голл. учёным Л. Э. Я. Брауэром и развиты Г. Вейлем (Германия) и ?. Гейтингом (Нидерланды). Гл. причину парадоксов (противоречий, антиномий) классич. математики и логики И. усматривает в представлении, что математику можно «обосновать» какими бы то ни было логич. средствами. С т. зр. И. математику надлежит строить исключительно посредством тех её средств (удовлетворяющих, в частности, требованию эффективности, конструктивности получаемых с их помощью абстрактных понятий), интуитивная убедительность (в случае...Советский философский словарь
3.
направление в обосновании математики и логики, согласно которому конечным критерием приемлемости методов и результатов этих наук является наглядно-содержательная интуиция. Вся математика должна опираться, согласно И., на интуитивное представление ряда натуральных чисел и на принцип математической индукции, истолковываемый как требование действовать последовательно, шаг за шагом; допускаются лишь конструктивные доказательства существования рассматриваемого объекта, указывающие способ его построения. Создателем И. является голландский математик Л. Э. Я. Брауэр (1881 1966). В начале XX в. он выдвинул программу радикальной перестройки математики, противопоставив ее концепции сведения математики к логике (см.: Логицизм) и истолкованию математики исключительно как языка математических символов (см.: Формализм). Представители И. полагают, что чистая математика является мыслительной активностью, не зависящей от языка, ее объект -нелингвистические математические конструкции. Язык служит лишь для сообщения математических идей, математика не сводится к языку и тем более не может быть истолкована как особый язык....Словарь по логике
Вопрос-ответ:
Похожие слова
Ссылка для сайта или блога:
Ссылка для форума (bb-код):
Самые популярные термины
1 | 2503 | |
2 | 2321 | |
3 | 1990 | |
4 | 1976 | |
5 | 1922 | |
6 | 1828 | |
7 | 1723 | |
8 | 1659 | |
9 | 1640 | |
10 | 1506 | |
11 | 1426 | |
12 | 1387 | |
13 | 1380 | |
14 | 1379 | |
15 | 1250 | |
16 | 1072 | |
17 | 1062 | |
18 | 1060 | |
19 | 1035 | |
20 | 962 |